Development of Safety-Critical Systems and Model-Based Risk Analysis with UML

The high quality development of safety-critical systems is difficult. Many safety-critical systems are developed, deployed, and used that do not satisfy their criticality requirements, sometimes with spectacular failures. Part of the difficulty of safety-critical systems development is that correctness is often in conflict with cost. Where thorough methods of system design pose high cost through personnel training and use, they are all too often avoided. UML offers an unprecedented opportunity for high-quality safetycritical systems development that is feasible in an industrial context.